Mariko Yasugi: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The machinery of consistency proofs

Journal:

Annals of Pure and Applied Logic

Year:

1989

Language:

english

File:

PDF, 1.50 MB

english, 1989

2

The ordinals of the systems of second order arithmetic with the provably Δ21-comprehension axiom and with the Δ21-comprehension axiom respectively

TAKEUTI, Gaisi, YASUGI, Mariko

Journal:

Japanese Journal of Mathematics

Year:

1973

Language:

english

File:

PDF, 7.99 MB

english, 1973

3

Interpretations of Set Theory and Ordinal Number Theory

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 1.02 MB

english, 1967

4

Some properties of ordinal diagrams

Journal:

Nagoya Mathematical Journal

Year:

1978

File:

PDF, 1003 KB

1978

5

Metrization of the Uniform Space and Effective Convergence

Mariko Yasugi, Yoshiki Tsujii, Takakazu Mori

Journal:

Mathematical Logic Quarterly

Year:

2002

Language:

english

File:

PDF, 142 KB

english, 2002

6

Preface: MLQ - Math. Log. Quart. Supplement 1/2002

Vasco Brattka, Peter Hertling, Mariko Yasugi, Ning Zhong

Journal:

Mathematical Logic Quarterly

Year:

2002

Language:

english

File:

PDF, 27 KB

english, 2002

7

Effective Fine-convergence of Walsh-Fourier series

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii

Journal:

Mathematical Logic Quarterly

Year:

2008

Language:

english

File:

PDF, 182 KB

english, 2008

8

Integral of Fine Computable functions and Walsh Fourier series

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 317 KB

english, 2008

9

Sequential Computability of a Function: Diagonal Space and Limiting Recursion

Yoshiki Tsujii, Mariko Yasugi, Takakazu Mori

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 274 KB

english, 2005

10

Computability of a function with jumps: Effective uniformity and limiting recursion

Mariko Yasugi, Yoshiki Tsujii

Journal:

Topology and its Applications

Year:

2005

Language:

english

File:

PDF, 201 KB

english, 2005

11

Effective properties of sets and functions in metric spaces with computability structure

Mariko Yasugi, Takakazu Mori, Yoshiki Tsujii

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 1.16 MB

english, 1999

12

Two Notions of Sequential Computability of a Function with Jumps

Mariko Yasugi, Yoshiki Tsujii

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 159 KB

english, 2002

13

A note on the wise girls puzzle

Mariko Yasugi, Sobei H. Oda

Journal:

Economic Theory

Year:

2002

Language:

english

File:

PDF, 86 KB

english, 2002

14

Integral of Two-dimensional Fine-computable Functions

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 293 KB

english, 2008

15

Spatial Expression ofSonic Hedgehogin the Lung Epithelium during Branching Morphogenesis

Koko Urase, Takeshi Mukasa, Hiroshi Igarashi, Yasuo Ishii, Sadao Yasugi, Mariko Y. Momoi, Takashi Momoi

Journal:

Biochemical and Biophysical Research Communications

Year:

1996

Language:

english

File:

PDF, 484 KB

english, 1996

16

CPP32 activation during dolichyl phosphate-induced apoptosis in U937 leukemia cells

Yoshiko Yokoyama, Tomoko Okubo, Satoshi Ozawa, Fumiko Nagai, Keiko Ushiyama, Itsu Kano, Masaki Shioda, Hirotaka Kubo, Mariko Takemura, Hideo Namiki, Etsuko Yasugi, Mieko Oshima, Yousuke Seyama, Kazuta

Journal:

Year:

1997

Language:

english

File:

PDF, 495 KB

english, 1997

17

Gödel's Theorem and Related Topics.by Toshio Nishimura

Review by: Mariko Yasugi

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 345 KB

english, 1969

18

On Undecidable Theoremsby Kempachiro Ohashi

Review by: Mariko Yasugi

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 210 KB

english, 1969

19

The Word Problem of Free Algebrasby Kensuke Takeuchi

Review by: Mariko Yasugi

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 324 KB

english, 1969

20

On Transfinite Argumentsby Setsuya Seki

Review by: Mariko Yasugi

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 190 KB

english, 1968

21

Mathematical Logicby Stephen Cole Kleene

Review by: Mariko Yasugi

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 514 KB

english, 1970

22

A Note on the Wise Girls Puzzle

Mariko Yasugi and Sobei H. Oda

Journal:

Economic Theory

Year:

2002

Language:

english

File:

PDF, 1.13 MB

english, 2002

23

Definability problems in elementary topology

Journal:

Journal of the Australian Mathematical Society

Year:

1983

Language:

english

File:

PDF, 862 KB

english, 1983

24

A two-storied universe of transfinite mechanisms

Journal:

Tsukuba Journal of Mathematics

Year:

1988

Language:

english

File:

PDF, 1.51 MB

english, 1988

25

An interpretatain of intuitionistic analysis with restricted transfinite inductive difinitions

Journal:

Tsukuba Journal of Mathematics

Year:

1988

Language:

english

File:

PDF, 863 KB

english, 1988

26

A metatheory of nonstandard analysis

Yasugi, Mariko, Tsujii, Yoshiki, Mori, Takakazu

Journal:

Tsukuba Journal of Mathematics

Year:

1993

Language:

english

File:

PDF, 1.09 MB

english, 1993

27

Construction principle and transfinite induction up to ε 0

Journal:

Journal of the Australian Mathematical Society

Year:

1982

Language:

english

File:

PDF, 904 KB

english, 1982

28

Some properties of ordinal diagrams

Journal:

Nagoya Mathematical Journal

Year:

1978

Language:

english

File:

PDF, 1003 KB

english, 1978

29

Active aneurysm thrombosis after Kawasaki disease in an adult: Insight into anticoagulation therapy

Akazawa, Yusuke, Inaba, Shinji, Sakaue, Tomohisa, Kurata, Mie, Aono, Jun, Yasugi, Takumi, Moritani, Tomozo, Nishiyama, Hikaru, Higaki, Takashi, Eguchi, Mariko, Yamaguchi, Osamu

Journal:

Journal of Cardiology Cases

Year:

2020

File:

PDF, 64 KB

2020